| 1 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Operational Semantics of the Model of Concurrency and Communication Language
|
|
|
|
In: https://hal.inria.fr/hal-01060601 ; [Research Report] RR-8584, INRIA. 2014, pp.23 (2014)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
ECL: the Event Constraint Language, an Extension of OCL with Events
|
|
|
|
In: https://hal.inria.fr/hal-00721169 ; [Research Report] RR-8031, INRIA. 2012, pp.24 (2012)
|
|
BASE
|
|
Show details
|
|
|
|
|
